其他
Meetup 预告 ｜事务前沿研究（二）- 事务测试探索
Infra Meetup 直播间本周六开放营业！「事务前沿研究」专题 Meetup 第二讲来啦！我们希望通过本系列为大家分享一些学术前沿事务方面的研究内容，第一期介绍了事务的基础理论，点击阅读原文即可查看回放。本周六我司研发工程师童牧将继续为大家介绍事务测试的相关内容。感兴趣的朋友不要错过，赶紧报名约起来 ～
直播季
PingCAP Infra Meetup No.136
时间：2021 年 5 月 15 日，周六上午 10:00-11:30
10:00 - 11:30
Episode 2. 事务测试探索
童牧，PingCAP TiDB 研发工程师
内容简介：
在程序员的生涯中，bug 一直伴随着我们，虽然我们期望写出完美的程序，但是再优秀的程序员也无法保证自己能够不写出 bug。因此，我们为程序编写测试，通过提前发现 bug 来提高最终交付程序的质量。我从在 PingCAP 的工作中感受到，做好数据库和做好数据库测试是密不可分的。本次分享，我们将在第一讲的事务隔离级别的基础上，对数据库事务的测试进行研究，主要讲述我们在 PingCAP 是如何保证事务的正确性的。
因为我们保证事务正确性的方法比较多，所以本次我们会着重讲解 Jepsen 和 Elle，而其他方法则是作为补充，我也会简单说明他们的做法和优缺点。我将事务测试的方法划分为以下几个类别：
· 理论正确性的验证 · 基于不变量的正确性验证 · 对执行历史进行检查的验证 · 辅助测试手段